Azimuth laying system Patent

Inertial gimbal alignment system for spacecraft guidanc

Space shuttle with external hydrogen drop tanks

Guidelines for using space shuttle configuration to determine effects of carrying ascent LH2 propellant in external drop tank

Trigonometric vehicle guidance assembly which aligns the three perpendicular axes of two three-axes systems Patent

Electrical and electromechanical trigonometric computation assembly and space vehicle guidance system for aligning perpendicular axes of two sets of three-axes coordinate reference

On the Concept of a Notational Variant

In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic

BDNF Genotype Modulates Resting Functional Connectivity in Children

A specific polymorphism of the brain-derived neurotrophic factor (BDNF) gene is associated with alterations in brain anatomy and memory; its relevance to the functional connectivity of brain networks, however, is unclear. Given that altered hippocampal function and structure has been found in adults who carry the methionine (met) allele of the BDNF gene and the molecular studies elucidating the role of BDNF in neurogenesis and synapse formation, we examined the association between BDNF gene variants and neural resting connectivity in children and adolescents. We observed a reduction in hippocampal and parahippocampal to cortical connectivity in met-allele carriers within both default-mode and executive networks. In contrast, we observed increased connectivity to amygdala, insula and striatal regions in met-carriers, within the paralimbic network. Because of the known association between the BDNF gene and neuropsychiatric disorder, this latter finding of greater connectivity in circuits important for emotion processing may indicate a new neural mechanism through which these gene-related psychiatric differences are manifest. Here we show that the BDNF gene, known to regulate synaptic plasticity and connectivity in the brain, affects functional connectivity at the neural systems level. In addition, we demonstrate that the spatial topography of multiple high-level resting state networks in healthy children and adolescents is similar to that observed in adults

The Research Unit VolImpact: Revisiting the volcanic impact on atmosphere and climate – preparations for the next big volcanic eruption

This paper provides an overview of the scientific background and the research objectives of the Research Unit “VolImpact” (Revisiting the volcanic impact on atmosphere and climate – preparations for the next big volcanic eruption, FOR 2820). VolImpact was recently funded by the Deutsche Forschungsgemeinschaft (DFG) and started in spring 2019. The main goal of the research unit is to improve our understanding of how the climate system responds to volcanic eruptions. Such an ambitious program is well beyond the capabilities of a single research group, as it requires expertise from complementary disciplines including aerosol microphysical modelling, cloud physics, climate modelling, global observations of trace gas species, clouds and stratospheric aerosols. The research goals will be achieved by building on important recent advances in modelling and measurement capabilities. Examples of the advances in the observations include the now daily near-global observations of multi-spectral aerosol extinction from the limb-scatter instruments OSIRIS, SCIAMACHY and OMPS-LP. In addition, the recently launched SAGE III/ISS and upcoming satellite missions EarthCARE and ALTIUS will provide high resolution observations of aerosols and clouds. Recent improvements in modeling capabilities within the framework of the ICON model family now enable simulations at spatial resolutions fine enough to investigate details of the evolution and dynamics of the volcanic eruptive plume using the large-eddy resolving version, up to volcanic impacts on larger-scale circulation systems in the general circulation model version. When combined with state-of-the-art aerosol and cloud microphysical models, these approaches offer the opportunity to link eruptions directly to their climate forcing. These advances will be exploited in VolImpact to study the effects of volcanic eruptions consistently over the full range of spatial and temporal scales involved, addressing the initial development of explosive eruption plumes (project VolPlume), the variation of stratospheric aerosol particle size and radiative forcing caused by volcanic eruptions (VolARC), the response of clouds (VolCloud), the effects of volcanic eruptions on atmospheric dynamics (VolDyn), as well as their climate impact (VolClim)

EVA Development and Verification Testing at NASA's Neutral Buoyancy Laboratory

As an early step in the preparation for future Extravehicular Activities (EVAs), astronauts perform neutral buoyancy testing to develop and verify EVA hardware and operations. Neutral buoyancy demonstrations at NASA Johnson Space Center's Sonny Carter Training Facility to date have primarily evaluated assembly and maintenance tasks associated with several elements of the International Space Station (ISS). With the retirement of the Shuttle, completion of ISS assembly, and introduction of commercial players for human transportation to space, evaluations at the Neutral Buoyancy Laboratory (NBL) will take on a new focus. Test objectives are selected for their criticality, lack of previous testing, or design changes that justify retesting. Assembly tasks investigated are performed using procedures developed by the flight hardware providers and the Mission Operations Directorate (MOD). Orbital Replacement Unit (ORU) maintenance tasks are performed using a more systematic set of procedures, EVA Concept of Operations for the International Space Station (JSC-33408), also developed by the MOD. This paper describes the requirements and process for performing a neutral buoyancy test, including typical hardware and support equipment requirements, personnel and administrative resource requirements, examples of ISS systems and operations that are evaluated, and typical operational objectives that are evaluated

On two problems in graph Ramsey theory

We study two classical problems in graph Ramsey theory, that of determining the Ramsey number of bounded-degree graphs and that of estimating the induced Ramsey number for a graph with a given number of vertices. The Ramsey number r(H) of a graph H is the least positive integer N such that every two-coloring of the edges of the complete graph $K_N$ contains a monochromatic copy of H. A famous result of Chv\'atal, R\"{o}dl, Szemer\'edi and Trotter states that there exists a constant c(\Delta) such that r(H) \leq c(\Delta) n for every graph H with n vertices and maximum degree \Delta. The important open question is to determine the constant c(\Delta). The best results, both due to Graham, R\"{o}dl and Ruci\'nski, state that there are constants c and c' such that 2^{c' \Delta} \leq c(\Delta) \leq 2^{c \Delta \log^2 \Delta}. We improve this upper bound, showing that there is a constant c for which c(\Delta) \leq 2^{c \Delta \log \Delta}. The induced Ramsey number r_{ind}(H) of a graph H is the least positive integer N for which there exists a graph G on N vertices such that every two-coloring of the edges of G contains an induced monochromatic copy of H. Erd\H{o}s conjectured the existence of a constant c such that, for any graph H on n vertices, r_{ind}(H) \leq 2^{c n}. We move a step closer to proving this conjecture, showing that r_{ind} (H) \leq 2^{c n \log n}. This improves upon an earlier result of Kohayakawa, Pr\"{o}mel and R\"{o}dl by a factor of \log n in the exponent.Comment: 18 page